Breadth-first rollback in spatially explicit simulations
نویسندگان
چکیده
منابع مشابه
Pair statistics clarify percolation properties of spatially explicit simulations.
Dispersal is a fundamental control on the spatial structure of a population. We investigate the precise mechanism by which a mixed strategy of short- and long-distance dispersal affects spatial patterning. Using techniques from pair approximation and percolation theory, we demonstrate that dispersal controls the extent to which a population is completely connected by modulating the proportion o...
متن کاملSpatially explicit simulations of a microbial food web
A mechanistic model of a simplified microbial food web was implemented based on spatially explicit transport of nutrients and energy sources by molecular diffusion. Individual organisms were simulated to interact in a twodimensional arena consisting of 70 X 70 interconnected hexagonal compartments each of 2 nl in volume. Release of dissolved organic matter in conjunction with predation events r...
متن کاملBreadth-First Heuristic Search
Recent work shows that the memory requirements of bestfirst heuristic search can be reduced substantially by using a divide-and-conquer method of solution reconstruction. We show that memory requirements can be reduced even further by using a breadth-first instead of a best-first search strategy. We describe optimal and approximate breadth-first heuristic search algorithms that use divide-and-c...
متن کاملSpatially Explicit Population Models
During the last decade, ecologists and particularly mathematical ecologists have focused on different approaches to the problem of spatial distribution of species. When the spatial distribution is not considered explicitly, the mathematical models are called spatially implicit. They consider the proportion of territory occupied by given species, but there is no information on which particular s...
متن کاملParallel Breadth - First BDD
With the increasing complexity of protocol and circuit designs , formal veriication has become an important research area and binary decision diagrams (BDDs) have been shown to be a powerful tool in formal veriication. This paper presents a parallel algorithm for BDD construction targeted at shared memory multiprocessors and distributed shared memory systems. This algorithm focuses on improving...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGSIM Simulation Digest
سال: 1997
ISSN: 0163-6103
DOI: 10.1145/268823.268910